Definition:Rooted Tree/Branch/Finite

Definition
Let $T$ be a rooted tree with root node $r_T$.

Let $\Gamma$ be a branch of $T$.

Then $\Gamma$ is finite iff it has exactly one leaf node.

Also see

 * Definition:Finite Graph
 * Definition:Finite Tree