Abstract: Finding the set of leaves for an unbounded tree is a nontrivial process in both the Weihrauch and reverse mathematics settings. Despite this, many combinatorial principles for trees are equivalent to their restrictions to trees with leaf sets. For example, let WFˆ denote the problem of choosing which trees in a sequence are well-founded, and let PK denote the problem of finding the perfect kernel of a tree. Let WFˆL and PKL denote the restrictions of these principles to trees with leaf sets. Then WFˆ, WFˆL, PK, and PKL are all equivalent to Π11–CA0 over RCA0, and all strongly Weihrauch equivalent.