定义：
完全语义树：S的语义树是完全的，如果对该语义树的所有叶结点N来说，I(N)包含了S的原子集A＝{A
1
，A
2
，…}中的所有元素A
i
或～A
i
，i=1 … n