设计算法，判断一棵二叉树是否为完全二叉树。