Rules glossary
↑ Section 104. Ending the Game
104.5 If a player loses the game, that player leaves the game. If the game is a draw for a player, that player leaves the game. The multiplayer rules handle what happens when a player leaves the game; see rule 800.4.
No sub-rules.