Completeness of an Ancient Logic