In this section

Historical Rules · 3 May 2019

Rule 800.4

Official source text from the 3 May 2019 Rules release

Permalink

Unlike two-player games, multiplayer games can continue after one or more players have left the game.

Find this number in the current Rules