Belyi's theorem for complete intersections of general type

We give a Belyi-type characterisation of smooth complete intersections of general type over $\mathbb{C}$ which can be defined over $\bar{\mathbb{Q}}$. Our proof uses the higher-dimensional analogue of the Shafarevich boundedness conjecture for families of canonically polarized varieties, finiteness results for maps to varieties of general type, and rigidity theorems for Lefschetz pencils of complete intersections.