Practical complete modal space and its applications