It depends on who you ask. Mucking and folding are two different terms used interchangeably in poker. Both the terms are used by poker players to refer to discarding their hands. Folding is an official term while mucking is more colloquial.