For all practical purposes, $Comp Bool Alg$ is not available in predicative mathematics. The definitions go through, but we cannot prove that it has any infinite objects. (More precisely, the power class of a nontrivial small complete boolean algebra must also be small.) Generally speaking, predicative mathematics treats infinite complete boolean algebras only as large objects.

In impredicative constructive mathematics, it no longer holds that the free complete boolean algebra on a finite set equals the free boolean algebra on that set. In particular, the free complete boolean algebra on the empty set is the set of truth values, while the free boolean algebra on the empty set is the set $\{\bot, \top\}$ of decidable truth values. (I'm not sure whether the free complete boolean algebra a positive finite number of elements is even small.)

In predicative constructive mathematics, even the free complete boolean algebra on the empty set is a proper class.