Well, a leaf was possibly the first kind of bookmark in history, at least it was/still is a traditional way to mark a real book page, and bookmarks are leaves in our internal tree structures. As for tree names, it should be obvious now : we mostly manipulate trees in the code; it's closely related to leaves; and moreover we're fan of Monty Pythons :-)