Hi climber,
It is a good idea to put a stopper on any knot. Second, a 50 ml tail on a 9 millimetre rope is not a lot. It’s highly likely you would have been all right, but the gym’s legal duty of care requires a certain erring on the side of caution.
Safe climbing,
Toc.