(define leaf?
  (lambda (tree)
    (and (not (empty-tree? tree))
         (empty-tree? (left-subtree tree))
         (empty-tree? (right-subtree tree)))))