Comment by elcomet

I believe it's the repetition rule that makes the game finite, not the stalemate rule, since number of positions is finite.

There is also the 50-move rule of course which limits more drastically the length of a game.