city in and county seat of Travis County, Texas, United States, that is also the capital of the State of Texas