Definition:Rooted Tree/Branch/Infinite

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

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

Then $\Gamma$ is infinite iff it has no leaf node at the end.