Solution:
(define (is-tree? T)
(define (tree-left tree ) (cadr tree ))
(define (tree-right tree ) (caddr tree ))
(cond ((null? T) #t)
((not (= (length T) 3)) #f)
( #t (and (is-tree? (tree-right T)) (is-tree? (tree-left T))))))