Definition:Tree (Graph Theory)/Finite

Definition
A tree is finite if it contains a finite number of nodes.

This definition also applies to rooted trees.