$\alpha$-complete