はい、バイナリツリー形状のセットは可算セットであるためです。特定の深さには有限数のバイナリツリー形状があり、可算数の有限セットの結合は可算セットです。
Yes, because the set of binary tree shapes is a countable set.  There are a finite number of binary tree shapes of a given depth, and the union of a countable number of finite sets is a countable set.