All the trees have leaves