First, I don't believe you one tiny little bit.
Second, even if it DID happen, that is the fantastically rare situation, that is extremely bizzare. You can read here and everywhere that this is not how it is done, so you don't make a judgement based on one single time, especially when no one else ever has had that experience.
I've left restaurants many times without paying a tip because of exceptionally poor service, it's never happened to me. I've never heard it happening to anyone.
Yeah, totally 100% do not believe you. Sorry, man. I just don't. Again, unless that server was actually and really truly mentally ill, and not using the term colloquially.