On the leaves of graph search trees