Debido a tal éxito, a Sejong se le dio el título de "Sejong el Grande".