Well-pruned set-theoretic tree
= Well-pruned set-theoretic tree
Every node has an extension at every higher level below the height of the <set-theoretic tree>. Equivalently, its extension heights are unbounded in the <set-theoretic tree> height. Having no terminal nodes alone is weaker.