What is a muck in Texas Hold'em?

Tex answers this question about rules poker. This answer will be filled in by the content generation pipeline.