Completeness of Algebraically Closed Fields of Fixed Prime Characteristic