Joyal's completeness theorem