The local structure of terminal Brauer classes on arithmetic surfaces was classified (2021), generalising the classification on geometric surfaces (2005). Part of the interest in these classifications is that it enables the minimal model program to be applied to the noncommutative setting of orders on surfaces. We give étale local structure theorems for terminal orders on arithmetic surfaces, at least when the degree is a prime