有N个结点的二叉树,当且仅当其每一个结点都与深度为K的满二叉树中编号从1至N的结点一一对应,称之为完全二叉树,这是数据结构给出的定义，还有离散数学，运筹学给出的定义，可以到百度搜。