So was this the hostess at the front door, but not the waitress? If the waitress was still very courteous and polite, then there would be no need to dock her tip because of someone else's rudeness. If it was the waitress herself, then I wouldn't have tipped at all. Either way, I would have asked to speak to a manager.
You rewarded her for poor service..a real slap to those waiters and waitresses who give great service and are sometimes stiffed at the table! Not only would I not have tipped her, but I would have explained to the manager on duty just why I didn't. Their restaurant doesn't need this type of person on their staff.
I would have not given a tip at all.... if the comment was severe enough, u know u urself can leave a comment also. To the manager!!! lol Oh it was the hostess, I would of still tipped then complained.