The shoe doesn't have to be untied to come off either. I agree I'm not going to baby some kid because he can't tie his laces or his mommy didn't pull the velcro tight.
But if it's a low level game and doesn't significantly disrupt the flow, (ie: in this case where it was after a made basket), I'm letting the kid get the shoe on.
Fast break or in the middle of a play... we're waiting for a dead ball.